Skip to content

Deterministic runtime crate#5016

Merged
Shubham8287 merged 54 commits into
masterfrom
shub/sim
Jun 4, 2026
Merged

Deterministic runtime crate#5016
Shubham8287 merged 54 commits into
masterfrom
shub/sim

Conversation

@Shubham8287

@Shubham8287 Shubham8287 commented May 13, 2026

Copy link
Copy Markdown
Contributor

Description of Changes.

Introduces deterministic runtime crate.
Integrate it with RelationalDB.

I think best steps to review:

  • Read the README of runtime crate.
  • Look at the integration with existing crates - durability, core, snapshot, etc.
  • Read runtime crate's code.

Draft branch to Test code - #5019

API and ABI breaking changes

NA

Expected complexity level and risk

Does not intend to change any production functionality, but it's big code.

Testing

  • new crate contains unit and integration tests.
  • Existing tests should work for production.

@Shubham8287 Shubham8287 requested review from jsdt and removed request for Centril May 28, 2026 15:50
Comment thread crates/runtime/README.md
Comment thread crates/runtime/src/lib.rs
Comment thread crates/runtime/src/sim/executor/mod.rs
Comment thread crates/runtime/src/sim/buggify.rs
Comment thread crates/runtime/src/sim/time/mod.rs
Comment thread crates/runtime/src/sim_std.rs

@cloutiertyler cloutiertyler left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This is quite good overall. I think it's a good start.

@jsdt jsdt left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This looks like a solid start

Comment thread crates/runtime/src/sim/executor/mod.rs
Comment thread crates/runtime/DETERMINISM_COVERAGE.md
@Shubham8287 Shubham8287 removed the request for review from joshua-spacetime June 4, 2026 14:07
@Shubham8287 Shubham8287 added this pull request to the merge queue Jun 4, 2026
@github-merge-queue github-merge-queue Bot removed this pull request from the merge queue due to failed status checks Jun 4, 2026
@Shubham8287 Shubham8287 added this pull request to the merge queue Jun 4, 2026
Merged via the queue into master with commit 0be66e3 Jun 4, 2026
53 of 56 checks passed
@Shubham8287 Shubham8287 deleted the shub/sim branch June 4, 2026 15:46
@Shubham8287 Shubham8287 restored the shub/sim branch June 4, 2026 15:46
@Shubham8287 Shubham8287 deleted the shub/sim branch June 4, 2026 15:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

7 participants